Abstract type - PDFSEARCH.IO - Document Search Engine

Abstract type
Results: 1261

#	Item
641	Microsoft Word - 075_ABSTRACT_2008_ArchDisChild_Vitamin D and diabetes in childhood.doc Add to Reading List Source URL: www.spectracell.com Language: English - Date: 2013-05-08 21:52:40 Vitamin D Diabetes mellitus type 1 Randomized controlled trial Vitamin A Hypovitaminosis D Multivitamin Nutrition Alternative medicine Medicine
642	Microsoft Word - 006_ABSTRACT_2007_Diabetes_Association of the vitamin D metabolism gene with type 1 diabetes.doc Add to Reading List Source URL: www.spectracell.com Language: English - Date: 2013-05-08 23:13:45 Medicine Diabetes mellitus type 1 CYP24A1 Hypovitaminosis D Diabetes mellitus Vitamin D 25-Hydroxyvitamin D3 1-alpha-hydroxylase Polymorphism Diabetes Nutrition Biology
643	A Type Theory with Partial Equivalence Relations as Types Abhishek Anand, Mark Bickford, Robert L. Constable and Vincent Rahli Cornell University Abstract A small core type language with intersection types in which a par Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2014-04-23 10:39:41 Theoretical computer science Programming language theory Formal methods Models of computation Type system Partial equivalence relation Equivalence relation Lambda calculus Dependent type Type theory Data types Mathematics
644	banner above paper title Typed Transformations of Typed Abstract Syntax Arthur Baars S. Doaitse Swierstra Add to Reading List Source URL: foswiki.cs.uu.nl Language: English - Date: 2008-10-16 11:51:41 Programming language theory Data types Functional programming LG enV2 LG enV Type system Env Generalized algebraic data type ECL programming language Software engineering Computing Type theory
645	Object-Oriented Mediator Queries to XML Data Hui Lin, Tore Risch, Timour Katchaounov Hui.Lin, Tore.Risch, [removed] Uppsala DataBase Laboratory, Uppsala University, Sweden Abstract Add to Reading List Source URL: xml.coverpages.org Language: English - Date: 2000-11-14 21:54:14 Technical communication Document Type Definition Standard Generalized Markup Language Data integration PCDATA CDATA XML Schema Language comparison XML Certification Program Computing Markup languages XML
646	The Multisegment Duality and the Preprojective Algebras of Type A Claus Michael Ringel ABSTRACT. The multisegment (or Zelevinsky) duality ζ plays an important role in the representation theory of the groups GLn over a p Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 1999-11-15 09:19:00 Representation theory Quiver Serial module Simple module Auslander–Reiten theory Krull–Schmidt theorem Indecomposable module Abstract algebra Algebra Module theory
647	C:/temp/oopsla11/oopsla044-tripp.dvi Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2012-02-08 02:18:46 Dependence analysis Structure Mathematics Mathematical logic Symbol Parallel computing Abstract data type
648	arXiv:math/0602283v3 [math.AT] 10 Jun[removed]SYMMETRIC JOINS AND WEIGHTED BARYCENTERS SADOK KALLEL, RYM KAROUI Abstract. Given a space X, we study the homotopy type of Bn (X) the space obtained as the “union Add to Reading List Source URL: arxiv.org Language: English - Date: 2010-06-10 21:19:56 Homotopy theory Algebraic topology Smash product Fundamental group Suspension Group action Pointed space Mapping cone Wedge sum Topology Abstract algebra Mathematics
649	Spreadsheets: From Data Interfaces to Knowledge Interfaces Andrea Kohlhase Jacobs University Bremen Abstract. Documents of type “spreadsheet” are considered user interfaces to numeric data as they allow authors to c Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-09 06:07:32 Repertory grid Visualization Science Computing Spreadsheet Software Microsoft Excel
650	The Scala-REPL + MMT as a Lightweight Mathematical User Interface Mihnea Iancu, Felix Mance, and Florian Rabe Jacobs University, Bremen, Germany Abstract. Scala is a general purpose programming language that includes a Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-09 06:07:30 Lisp programming language Functional programming Functional languages Type theory Data types OpenMath Read–eval–print loop Scala Type inference Computing Software engineering Computer programming

UPDATE